منابع مشابه
Confirmation as partial entailment A corrected proof
Michael Schippers pointed out to us in personal correspondence an error in the proof of the main result in Crupi, V. and Tentori, K., ”Confirmation as partial entailment: A representation theorem”, Journal of Applied Logic, 11 (2013), pp. 364-372. The flaw spotted by Schippers is that Lemma 2 (p. 369) does not hold in its original formulation. In what follows, we recapitulate the proof in a cor...
متن کاملA Proof-Based Annotation Platform of Textual Entailment
We introduce a new platform for annotating inferential phenomena in entailment data, buttressed by a formal semantic model and a proof-system that provide immediate verification of the coherency and completeness of the marked annotations. By integrating a web-based user interface, a formal lexicon, a lambda-calculus engine and an off-the-shelf theorem prover, the platform allows human annotator...
متن کاملLakatos and Hersh on Mathematical Proof
مفهوم اثبات در چند دهۀ اخیر مناقشهآمیز شده است. به طوری که افراد نظریه‌های مختلفی دربارۀ چیستی اثبات ارائه دادهاند. لاکاتوش و هرش از جملۀ این افراد هستند. نظریه‌های این دو فیلسوف شباهتها و اختلافات قابل توجهی دارند. به نظر می‌‌رسد که با مقایسه و بررسی نقادانۀ این دو نظریه فهم بهتری از مفهوم اثبات ریاضیاتی به دست خواهد آمد. دو وجه شباهت مهم بین این دو نظریه عبارتند از: دوگانه‌انگاری در اثبات ...
متن کاملDiscovering Entailment Relations Using "Textual Entailment Patterns"
In this work we investigate methods to enable the detection of a specific type of textual entailment (strict entailment), starting from the preliminary assumption that these relations are often clearly expressed in texts. Our method is a statistical approach based on what we call textual entailment patterns, prototypical sentences hiding entailment relations among two activities. We experimente...
متن کاملTruthmakers, Entailment and Necessity
The hallowed path from language to universals has been by way of the correspondence theory of truth: the doctrine that whenever something is true, there must be something in the world which makes it true. I will call this the Truthmaker axiom. The desire to find an adequate truthmaker for every truth has been one of the sustaining forces behind traditional theories of u n i v e r s a l s . . . ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1979
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093882815